SeasawherLean Book

mdbook template for Lean project
#mdbook
Sort by
  1. Git dependency.
    Found on Reservoir.

    mdgenv4.26.0-rc2

    Tool to generate markdown files from lean files. This is heavily inspired by lean2md.